[next] [prev] [prev-tail] [tail] [up]

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 40 24 26 3 24

N.S.

1 1.00 1.09 1.00 1.82 1.09 1.18 0.14 1.09

time (sec)

N/A 0.281 0.540 3.214 0.277 0.245 3.409 112.913 0.435

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 111 39 42 3 24

N.S.

1 1.00 1.09 1.00 5.05 1.77 1.91 0.14 1.09

time (sec)

N/A 0.222 0.466 7.836 0.400 0.255 10.115 230.714 0.445

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 144 50 58 0 24

N.S.

1 1.00 1.09 1.00 6.55 2.27 2.64 0.00 1.09

time (sec)

N/A 0.223 0.484 6.251 0.408 0.240 32.185 0.000 0.458

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-2) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 49 0 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.04 0.00 0.00 1.00

time (sec)

N/A 0.261 1.757 10.589 0.451 0.246 0.000 0.000 0.543

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 0 0 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.00 0.00 1.00

time (sec)

N/A 0.262 0.946 10.802 0.402 0.242 0.000 0.000 0.496

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 1.00 0.00 1.00

time (sec)

N/A 0.245 0.251 6.670 0.341 0.242 6.631 0.000 0.467

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 1.00 0.12 1.00

time (sec)

N/A 0.252 0.681 6.639 0.343 0.245 16.989 7.308 0.622

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 51 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.12 1.00 0.12 1.00

time (sec)

N/A 0.263 0.821 6.552 0.370 0.256 67.926 15.122 0.660

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 62 0 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.58 0.00 0.12 1.00

time (sec)

N/A 0.264 0.867 14.998 0.391 0.257 0.000 30.337 0.653

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 110 21 26 3 20

N.S.

1 1.00 1.11 1.00 6.11 1.17 1.44 0.17 1.11

time (sec)

N/A 0.183 1.003 31.546 0.353 0.246 0.820 77.717 0.505

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

17 17 19 17 97 19 26 3 19

N.S.

1 1.00 1.12 1.00 5.71 1.12 1.53 0.18 1.12

time (sec)

N/A 0.168 0.998 49.151 0.356 0.264 0.677 74.778 0.485

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 114 22 26 3 22

N.S.

1 1.00 1.10 1.00 5.70 1.10 1.30 0.15 1.10

time (sec)

N/A 0.192 1.327 78.303 0.364 0.240 1.062 79.195 0.446

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 164 36 44 3 22

N.S.

1 1.00 1.10 1.00 8.20 1.80 2.20 0.15 1.10

time (sec)

N/A 0.193 0.842 145.086 0.394 0.240 1.291 87.314 0.444

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 148 34 44 3 21

N.S.

1 1.00 1.11 1.00 7.79 1.79 2.32 0.16 1.11

time (sec)

N/A 0.180 0.518 127.721 0.370 0.242 1.115 86.593 0.429

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 168 37 44 3 24

N.S.

1 1.00 1.09 1.00 7.64 1.68 2.00 0.14 1.09

time (sec)

N/A 0.205 1.042 182.058 0.421 0.237 2.211 88.919 0.425

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A F(-1) N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 0 196 47 61 3 22

N.S.

1 1.00 1.10 0.00 9.80 2.35 3.05 0.15 1.10

time (sec)

N/A 0.190 0.922 0.000 0.391 0.245 1.620 97.507 0.477

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 181 45 61 3 21

N.S.

1 1.00 1.11 1.00 9.53 2.37 3.21 0.16 1.11

time (sec)

N/A 0.179 1.014 154.424 0.412 0.238 1.466 94.744 0.441

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 201 48 61 3 24

N.S.

1 1.00 1.09 1.00 9.14 2.18 2.77 0.14 1.09

time (sec)

N/A 0.205 1.074 177.360 0.438 0.236 2.844 97.831 0.415

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 65 24 26 3 24

N.S.

1 1.00 1.09 1.00 2.95 1.09 1.18 0.14 1.09

time (sec)

N/A 0.266 0.765 31.523 0.290 0.248 0.666 62.667 0.445

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 62 24 26 3 24

N.S.

1 1.00 1.09 1.00 2.82 1.09 1.18 0.14 1.09

time (sec)

N/A 0.258 0.516 6.822 0.263 0.241 0.693 61.923 0.436

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 55 22 24 3 22

N.S.

1 1.00 1.10 1.00 2.75 1.10 1.20 0.15 1.10

time (sec)

N/A 0.236 0.551 8.965 0.249 0.233 0.719 48.248 0.403

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 14 14 0 14

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.88 0.00 0.88

time (sec)

N/A 0.170 0.005 1.418 0.187 0.236 0.445 0.000 0.375

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 59 23 26 3 24

N.S.

1 1.00 1.09 1.00 2.68 1.05 1.18 0.14 1.09

time (sec)

N/A 0.259 0.346 1.362 0.285 0.242 1.018 48.067 0.389

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 69 25 27 3 24

N.S.

1 1.00 1.09 1.00 3.14 1.14 1.23 0.14 1.09

time (sec)

N/A 0.262 0.958 10.285 0.298 0.243 0.932 60.782 0.410

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 70 25 27 3 24

N.S.

1 1.00 1.09 1.00 3.18 1.14 1.23 0.14 1.09

time (sec)

N/A 0.270 1.226 79.315 0.291 0.242 0.951 62.513 0.420

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 71 25 27 3 24

N.S.

1 1.00 1.09 1.00 3.23 1.14 1.23 0.14 1.09

time (sec)

N/A 0.267 2.120 49.905 0.270 0.232 1.138 61.614 0.412

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 137 39 42 3 24

N.S.

1 1.00 1.09 1.00 6.23 1.77 1.91 0.14 1.09

time (sec)

N/A 0.796 6.677 15.901 0.339 0.246 1.092 173.507 0.456

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 113 51 52 0 132 0 0 0

N.S.

1 1.59 0.72 0.73 0.00 1.86 0.00 0.00 0.00

time (sec)

N/A 0.930 0.111 9.066 0.000 0.258 0.000 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 70 51 0 135 0 0 0

N.S.

1 1.00 0.86 0.63 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.475 0.067 8.095 0.000 0.259 0.000 0.000 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 109 58 52 0 122 0 0 0

N.S.

1 1.68 0.89 0.80 0.00 1.88 0.00 0.00 0.00

time (sec)

N/A 0.910 0.069 8.880 0.000 0.248 0.000 0.000 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 141 38 42 3 24

N.S.

1 1.00 1.09 1.00 6.41 1.73 1.91 0.14 1.09

time (sec)

N/A 0.836 1.433 9.631 0.367 0.246 1.529 121.357 0.411

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 142 40 44 3 24

N.S.

1 1.00 1.09 1.00 6.45 1.82 2.00 0.14 1.09

time (sec)

N/A 1.410 2.256 9.612 0.346 0.241 1.371 128.167 0.440

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 142 40 44 3 24

N.S.

1 1.00 1.09 1.00 6.45 1.82 2.00 0.14 1.09

time (sec)

N/A 1.263 1.706 81.822 0.364 0.249 1.513 125.058 0.443

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 142 40 44 3 24

N.S.

1 1.00 1.09 1.00 6.45 1.82 2.00 0.14 1.09

time (sec)

N/A 1.900 5.705 32.501 0.379 0.238 1.830 127.474 0.457

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 273 72 88 0 328 0 0 0

N.S.

1 1.54 0.41 0.50 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 1.870 0.198 10.283 0.000 0.247 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 233 60 52 0 215 0 0 0

N.S.

1 1.94 0.50 0.43 0.00 1.79 0.00 0.00 0.00

time (sec)

N/A 1.869 0.122 10.582 0.000 0.245 0.000 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 194 98 88 0 318 0 0 0

N.S.

1 1.72 0.87 0.78 0.00 2.81 0.00 0.00 0.00

time (sec)

N/A 1.245 0.148 10.935 0.000 0.248 0.000 0.000 0.000

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 120 89 89 0 297 0 0 0

N.S.

1 1.48 1.10 1.10 0.00 3.67 0.00 0.00 0.00

time (sec)

N/A 0.930 0.140 11.202 0.000 0.257 0.000 0.000 0.000

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 174 49 58 3 24

N.S.

1 1.00 1.09 1.00 7.91 2.23 2.64 0.14 1.09

time (sec)

N/A 2.484 2.133 5.662 0.360 0.235 2.066 180.296 0.422

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 175 51 60 3 24

N.S.

1 1.00 1.09 1.00 7.95 2.32 2.73 0.14 1.09

time (sec)

N/A 2.597 3.122 7.221 0.411 0.241 2.026 187.199 0.446

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 174 51 60 3 24

N.S.

1 1.00 1.09 1.00 7.91 2.32 2.73 0.14 1.09

time (sec)

N/A 4.030 3.917 84.938 0.403 0.237 2.094 184.689 0.444

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 176 51 60 3 24

N.S.

1 1.00 1.09 1.00 8.00 2.32 2.73 0.14 1.09

time (sec)

N/A 4.573 8.253 89.063 0.377 0.245 2.264 185.348 0.455

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 14 0 0 14

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.00 0.00 0.88

time (sec)

N/A 0.208 0.224 114.779 0.275 0.228 0.000 0.000 0.475

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 22 22 3 22

N.S.

1 1.00 1.09 0.91 1.00 1.00 1.00 0.14 1.00

time (sec)

N/A 0.216 1.958 33.536 0.327 0.245 1.220 78.898 0.444

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 21 20 3 21

N.S.

1 1.00 1.10 0.90 1.00 1.00 0.95 0.14 1.00

time (sec)

N/A 0.187 1.058 32.546 0.350 0.244 1.117 77.582 0.396

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.92 0.12 1.00

time (sec)

N/A 0.241 3.523 86.745 0.370 0.241 1.670 85.333 0.438

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 33 22 3 22

N.S.

1 1.00 1.09 0.91 1.00 1.50 1.00 0.14 1.00

time (sec)

N/A 0.226 6.086 50.575 0.384 0.237 6.781 97.468 0.466

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 21 20 3 21

N.S.

1 1.00 1.10 0.90 1.00 1.00 0.95 0.14 1.00

time (sec)

N/A 0.190 1.082 66.786 0.359 0.245 4.080 94.055 0.445

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.92 0.12 1.00

time (sec)

N/A 0.255 4.096 85.804 0.367 0.238 9.125 100.816 0.472

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 48 22 3 22

N.S.

1 1.00 1.09 0.91 1.00 2.18 1.00 0.14 1.00

time (sec)

N/A 0.225 2.485 108.876 0.399 0.235 25.980 111.692 0.458

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 46 20 3 21

N.S.

1 1.00 1.10 0.90 1.00 2.19 0.95 0.14 1.00

time (sec)

N/A 0.190 1.160 93.414 0.432 0.238 14.623 108.486 0.441

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 49 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.04 0.92 0.12 1.00

time (sec)

N/A 0.248 2.783 177.810 0.442 0.240 19.158 112.270 0.496

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 22 22 3 22

N.S.

1 1.00 1.09 0.91 1.00 1.00 1.00 0.14 1.00

time (sec)

N/A 0.221 1.503 3.796 0.363 0.246 1.560 90.535 0.475

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 21 22 3 21

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.05 0.14 1.00

time (sec)

N/A 0.190 0.657 7.098 0.332 0.237 1.652 86.547 0.453

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 35 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.46 1.00 0.12 1.00

time (sec)

N/A 0.392 4.106 8.912 0.363 0.248 2.887 88.758 0.468

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 37 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.54 1.08 0.12 1.00

time (sec)

N/A 0.249 3.732 8.111 0.342 0.244 4.144 95.279 0.485

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 37 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.54 1.08 0.12 1.00

time (sec)

N/A 0.246 5.531 30.574 0.348 0.240 6.175 94.409 0.500

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 51 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.12 1.00 0.00 1.00

time (sec)

N/A 1.374 6.405 3.608 0.398 0.240 3.834 0.000 0.550

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 51 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.12 1.00 0.12 1.00

time (sec)

N/A 1.100 5.524 2.975 0.364 0.241 4.106 79.785 0.478

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 108 63 156 0 0 0 0 0

N.S.

1 1.04 0.61 1.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.676 0.192 9.250 0.000 0.000 0.000 0.000 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 105 65 151 0 0 0 0 0

N.S.

1 1.04 0.64 1.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.621 0.079 9.039 0.000 0.000 0.000 0.000 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 50 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.08 1.00 0.00 1.00

time (sec)

N/A 1.660 2.633 4.637 0.370 0.242 7.015 0.000 0.516

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 52 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.17 1.08 0.12 1.00

time (sec)

N/A 1.518 2.849 4.590 0.371 0.254 8.744 82.384 0.517

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 52 26 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.17 1.08 0.00 1.00

time (sec)

N/A 2.598 3.436 36.725 0.396 0.236 14.865 0.000 0.517

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 52 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.17 1.08 0.12 1.00

time (sec)

N/A 2.436 5.959 31.135 0.367 0.253 22.060 82.111 0.539

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 62 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.58 1.00 0.00 1.00

time (sec)

N/A 3.632 7.941 19.579 0.391 0.248 12.723 0.000 0.564

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 62 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.58 1.00 0.12 1.00

time (sec)

N/A 4.869 7.213 18.793 0.401 0.243 12.692 227.272 0.539

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 208 114 359 0 0 0 0 0

N.S.

1 1.16 0.63 1.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.366 0.416 24.648 0.000 0.000 0.000 0.000 0.000

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 295 119 375 0 0 0 0 0

N.S.

1 1.41 0.57 1.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.089 0.228 20.787 0.000 0.000 0.000 0.000 0.000

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 294 118 371 0 0 0 0 0

N.S.

1 1.68 0.67 2.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.054 0.352 11.434 0.000 0.000 0.000 0.000 0.000

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 177 102 346 0 0 0 0 0

N.S.

1 1.22 0.70 2.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.687 0.190 18.909 0.000 0.000 0.000 0.000 0.000

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 61 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.54 1.00 0.00 1.00

time (sec)

N/A 5.163 4.172 14.301 0.411 0.258 21.101 0.000 0.540

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 63 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.62 1.08 0.12 1.00

time (sec)

N/A 5.038 3.880 13.777 0.390 0.243 29.542 176.072 0.545

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 399 48 73 3 24

N.S.

1 1.00 1.09 1.00 18.14 2.18 3.32 0.14 1.09

time (sec)

N/A 0.215 0.599 10.069 1.236 0.260 17.044 218.438 0.426

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 333 37 53 3 24

N.S.

1 1.00 1.09 1.00 15.14 1.68 2.41 0.14 1.09

time (sec)

N/A 0.215 0.687 9.837 1.145 0.252 8.871 193.405 0.404

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 221 22 31 3 22

N.S.

1 1.00 1.10 1.00 11.05 1.10 1.55 0.15 1.10

time (sec)

N/A 0.193 0.445 10.630 0.999 0.244 6.271 167.102 0.422

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 91 24 26 3 24

N.S.

1 1.00 1.09 1.00 4.14 1.09 1.18 0.14 1.09

time (sec)

N/A 0.281 0.758 4.562 0.389 0.244 6.523 155.561 0.441

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 191 39 42 0 24

N.S.

1 1.00 1.09 1.00 8.68 1.77 1.91 0.00 1.09

time (sec)

N/A 0.219 0.668 11.893 0.686 0.242 18.769 0.000 0.436

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 224 50 58 0 24

N.S.

1 1.00 1.09 1.00 10.18 2.27 2.64 0.00 1.09

time (sec)

N/A 0.225 0.692 7.978 0.709 0.249 52.442 0.000 0.439

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-2) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 49 0 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.04 0.00 0.00 1.00

time (sec)

N/A 0.257 2.837 11.556 0.482 0.260 0.000 0.000 0.544

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 0 0 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.00 0.00 1.00

time (sec)

N/A 0.257 1.483 13.616 0.440 0.270 0.000 0.000 0.482

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 1.00 0.00 1.00

time (sec)

N/A 0.251 0.440 12.389 0.376 0.250 24.522 0.000 0.430

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 1.00 0.12 1.00

time (sec)

N/A 0.258 0.913 13.127 0.401 0.255 37.247 9.659 0.593

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 51 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.12 1.00 0.12 1.00

time (sec)

N/A 0.270 1.017 12.153 0.395 0.238 122.712 20.726 0.622

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 62 0 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.58 0.00 0.12 1.00

time (sec)

N/A 0.264 1.083 15.069 0.437 0.251 0.000 41.715 0.655

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 22 34 3 22

N.S.

1 1.00 1.09 0.91 0.00 1.00 1.55 0.14 1.00

time (sec)

N/A 0.190 1.064 9.166 0.000 0.256 34.653 52.959 0.574

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 0 29 3 20

N.S.

1 1.00 1.10 0.90 0.00 0.00 1.45 0.15 1.00

time (sec)

N/A 0.250 1.245 4.316 0.000 0.000 1.398 52.399 0.495

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 17 0 0 27 3 19

N.S.

1 1.00 1.11 0.89 0.00 0.00 1.42 0.16 1.00

time (sec)

N/A 0.165 1.904 3.532 0.000 0.000 1.076 52.073 0.530

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 27 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 1.23 0.14 1.00

time (sec)

N/A 0.188 1.056 5.128 0.000 0.000 2.072 233.461 0.494

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 37 58 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.54 2.42 0.12 1.00

time (sec)

N/A 0.209 0.756 9.716 0.000 0.269 120.173 53.200 0.506

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 49 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 2.23 0.14 1.00

time (sec)

N/A 0.270 0.951 4.099 0.000 0.000 3.147 52.393 0.437

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 0 0 48 3 21

N.S.

1 1.00 1.10 0.90 0.00 0.00 2.29 0.14 1.00

time (sec)

N/A 0.174 1.081 3.507 0.000 0.000 2.339 52.873 0.454

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 48 0 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.00 0.00 1.00

time (sec)

N/A 0.205 0.903 4.954 0.000 0.000 3.628 0.000 0.462

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 48 0 3 24

N.S.

1 1.00 1.08 0.92 0.00 2.00 0.00 0.12 1.00

time (sec)

N/A 0.208 0.551 10.559 0.000 0.247 0.000 52.165 0.492

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 68 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 3.09 0.14 1.00

time (sec)

N/A 0.278 1.035 4.616 0.000 0.000 6.431 56.693 0.446

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 0 0 66 3 21

N.S.

1 1.00 1.10 0.90 0.00 0.00 3.14 0.14 1.00

time (sec)

N/A 0.174 1.130 3.638 0.000 0.000 4.301 53.335 0.465

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 66 0 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.75 0.00 1.00

time (sec)

N/A 0.203 0.936 5.171 0.000 0.000 5.657 0.000 0.463

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 24 22 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.00 0.92 0.12 1.00

time (sec)

N/A 0.212 0.682 6.451 0.000 0.244 4.930 51.736 0.480

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 22 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.92 0.12 1.00

time (sec)

N/A 0.425 2.930 3.479 0.000 0.000 0.875 51.882 0.425

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 22 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.92 0.12 1.00

time (sec)

N/A 0.335 0.770 3.932 0.000 0.000 0.622 52.618 0.425

[next] [prev] [prev-tail] [front] [up]